Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
131	Analysis of Cryptographic Protocols using Logics of Belief: an Overview David Monniaux ´ Ecole Normale Sup´erieure Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:19 Automated theorem proving BurrowsAbadiNeedham logic -calculus Modal logic RSA
132	Rules with parameters in modal logic I Emil Jeˇr´abek∗ Institute of Mathematics of the Academy of Sciences ˇ a 25, Praha 1, Czech Republic, email: Zitn´ Add to Reading List Source URL: users.math.cas.cz Language: English - Date: 2015-04-03 16:10:06
133	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
134	A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge Thomas ˚ Agotnes Michal Walicki Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:32 Logic Mathematical logic Philosophy Formal epistemology Modal logic Artificial intelligence Belief Epistemic modal logic Non-classical logic Logic programming Epistemic closure FO
135	Modular Interpreted Systems Wojciech Jamroga Thomas Ågotnes Department of Informatics Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-06-04 16:55:34 Mathematics Measurement Academia Artificial intelligence Formal epistemology Modal logic Algebraic geometry Q0 Symbol Epistemic modal logic Centimetregramsecond system of units Valuation
136	Dualities for Intuitionistic Modal Logics Alessandra Palmigiano∗ Abstract We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [10, 11]. Unlike other dualities for IK, the dual stru Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-05-02 17:34:45
137	Algorithmic Correspondence and Canonicity for Distributive Modal Logic Willem Conradie and Alessandra Palmigiano Revised: 8 SeptemberAbstract Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-05-02 11:11:28
138	Á( M ((!Mp) ¶ MqThe Axiomatic Translation of Modal Logic [1]: DRAFT @K.J.Smith, 2008. http://www.KJSmith.net This entire section is based upon, but heavily modified from, the text of [1]. The material has bee Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-06-24 06:42:23
139	Acquiring Temporal Constraints between Relations Partha Pratim Talukdar∗ Derry Wijaya∗ Tom Mitchell Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2012-08-15 22:35:42 Philosophical logic Modal logic Modality Non-classical logic
140	Expressions speed up … when you are too lazy to calculate everything What is optimised • Add to Reading List Source URL: highsecure.ru Language: English - Date: 2015-03-27 11:57:03 Mathematical logic Control flow Eval Modal logic Equality

UPDATE